5.3 KB · ⇊ 4 parts · ⤓ Micron 5.3 KB · ⤓ HTML 45.1 KB

top

In the mathematical field of topology, a sphere bundle is a fiber bundle in which the fibers are spheres S n {\displaystyle S^{n}} of some dimension n.cite-ref-hatcher2002-1-0[1] Similarly, in a disk bundle, the fibers are disks D n {\displaystyle D^{n}} . From a topological perspective, there is no difference between sphere bundles and disk bundles: this is a consequence of the Alexander trick, which implies BTop ⁡ ⁡ ( D n + 1 ) ≃ ≃ BTop ⁡ ⁡ ( S n ) . {\displaystyle \operatorname {BTop} (D^{n+1})\simeq \operatorname {BTop} (S^{n}).}

An example of a sphere bundle is the torus, which is orientable and has S 1 {\displaystyle S^{1}} fibers over an S 1 {\displaystyle S^{1}} base space. The non-orientable Klein bottle also has S 1 {\displaystyle S^{1}} fibers over an S 1 {\displaystyle S^{1}} base space, but has a twist that produces a reversal of orientation as one follows the loop around the base space.cite-ref-hatcher2002-1-1[1]

A circle bundle is a special case of a sphere bundle.

• Orientation of a sphere bundle

• Spherical fibration

• See also

• Notes

• References

• Further reading

• External links

A sphere bundle that is a product space is orientable, as is any sphere bundle over a simply connected space.cite-ref-hatcher2002-1-2[1]

If E be a real vector bundle on a space X and if E is given an orientation, then a sphere bundle formed from E, Sph(E), inherits the orientation of E.

A spherical fibration, a generalization of the concept of a sphere bundle, is a fibration whose fibers are homotopy equivalent to spheres. For example, the fibration

BTop ⁡ ⁡ ( R n ) → → BTop ⁡ ⁡ ( S n ) {\displaystyle \operatorname {BTop} (\mathbb {R} ^{n})\to \operatorname {BTop} (S^{n})}

has fibers homotopy equivalent to Sn.cite-ref-2[2]

• Smale conjecture

cite-note-hatcher2002-11. ↑ citerefhatcher2002Hatcher, Allen (2002). Algebraic Topology. Cambridge University Press. p. 442. ISBN 9780521795401. Retrieved 28 February 2018.

cite-note-22. ↑ Since, writing X + {\displaystyle X^{+}} for the one-point compactification of X {\displaystyle X} , the homotopy fiber of BTop ⁡ ⁡ ( X ) → → BTop ⁡ ⁡ ( X + ) {\displaystyle \operatorname {BTop} (X)\to \operatorname {BTop} (X^{+})} is Top ⁡ ⁡ ( X + ) / Top ⁡ ⁡ ( X ) ≃ ≃ X + {\displaystyle \operatorname {Top} (X^{+})/\operatorname {Top} (X)\simeq X^{+}} .

• Dennis Sullivan, Geometric Topology, the 1970 MIT notes

• The Adams conjecture I

• Johannes Ebert, The Adams Conjecture, after Edgar Brown

• Strunk, Florian. On motivic spherical bundles

• Is it true that all sphere bundles are boundaries of disk bundles?

• https://ncatlab.org/nlab/show/spherical+fibration